[IA64] Clear pending event when vcpu boots

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff --git a/xen/arch/ia64/xen/vcpu.c b/xen/arch/ia64/xen/vcpu.c
index 95ef7a461cd093268c78c02d5ff45cfe0782e655..43599f63543927e9560b7eee087d32cf5d22873e 100644 (file)
--- a/xen/arch/ia64/xen/vcpu.c
+++ b/xen/arch/ia64/xen/vcpu.c
@@ -176,6 +176,7 @@ void vcpu_init_regs(struct vcpu *v)
 
                /* SAL specification 3.2.4 */
                VCPU(v, vpsr) = IA64_PSR_AC | IA64_PSR_IC | IA64_PSR_BN;
+               v->vcpu_info->evtchn_upcall_pending = 0;
                v->vcpu_info->evtchn_upcall_mask = -1;
        }